Kurt Gödel adalah seorang matematikawan Jerman yang terkenal dengan teorema ketidaklengkapannya, yang menunjukkan bahwa dalam setiap sistem aksioma yang menarik, akan ada pernyataan yang benar tetapi tidak dapat dibuktikan. Karyanya menjadi landasan bagi banyak penelitian dalam teori himpunan.